Exercise logic.propositional.logax
Description
Axiomatic proofs
| Code | logic.propositional.logax |
| Status | Experimental |
| Strategy | logic.propositional.logax |
| Rules | 12 |
| Buggy rules | 0 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | no |
| Examples | 45 |